Automatic verification of behavior preservation at the transformation level for relational model transformation
نویسندگان
چکیده
منابع مشابه
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations
The correctness of model transformations and, in particular, behavior preservation is important for model-driven engineering of high quality software. Behavior preservation verification techniques have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic veri...
متن کاملTransformation Rules for Model Migration in Relational Database Preservation
Digital preservation is about memory and giving easy access to it. If the digital object is a relational database the requirements of normalization may make it hard to access and understand. In order to deal with this problem we have proposed the DBPreserve approach to transform a relational database to a dimensional model as part of the preservation process, making the preserved information mo...
متن کاملRelational Verification Through Horn Clause Transformation
We present a method for verifying relational program properties, that is, properties that relate the input and the output of two programs. Our verification method is parametric with respect to the definition of the operational semantics of the programming language in which the two programs are written. That definition of the semantics consists of a set Int of constrained Horn clauses (CHCs) tha...
متن کاملFormalizing Relational Model Transformation Approaches
The current efforts on model transformation promise solutions for various problems in model driven software development. However, vague concepts still outnumber semantically well-defined approaches. Among the various concepts for model transformations, relational approaches seem to be the most promising. In my Ph.D. thesis, I am going to investigate the syntax and semantics of relational model ...
متن کاملAutomatic Graph Transformation in System Verification
The use of formal verification methods is essential in the design process of dependable computer controlled systems. A complex environment should support the semiformal specification as well as the formal verification of the desired system. The efficiency of applying these formal methods will be highly increased if the underlying mathematical background is hidden from the designer. In such an i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2018
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-018-00706-9